수치 미분은 미적분학의 무한한 매끄러움에서 디지털 계산의 이산적이고 유한한 세계로의 고위험 전환을 의미합니다. 우리는 무한소의 극한 대신 측정 가능한 단계 크기 $h$를 사용합니다. 함수 $f$의 $x_0$에서의 이론적 도함수는 $$f'(x_0) = \lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h}$$ 로 정의되지만, 컴퓨터 시스템은 극한을 직접 계산할 수 없습니다. 대신 유한 차분 공식을 사용하며, 이를 통해 계산 오차가 발생하게 됩니다. 절단 오차.
1. 도함수의 기하학적 의미
$f'(x_0)$를 근사하기 위해 인접한 점들을 살펴봅니다. 방향에 따라 두 가지 주요 공식을 도출할 수 있습니다:
- 전진 차분 공식: $h > 0$일 때 사용됩니다. $x_0 + h$를 향해 앞을 바라봅니다.
- 후진 차분 공식: $h < 0$일 때 사용됩니다. $x_0 + h$($h$는 음수)를 향해 뒤를 바라봅니다.
실제 공학 문제, 예를 들어 곡선 궤도의 호 길이를 계산할 때, 우리는 종종 이러한 근사값에 의존합니다: $$L = \int_{0}^{48} \sqrt{1 + (f'(x))^2} dx = \int_{0}^{48} \sqrt{1 + (\cos x)^2} dx$$ 만약 함수 $f(x)$가 이산적인 센서 위치에서만 알려져 있다면, 수치 미분 외에는 다른 방법이 없습니다.
2. 보간법을 통한 수학적 도출
$f'(x_0)$를 근사하기 위해, 먼저 $x_0 \in (a, b)$이며, $f \in C^2[a, b]$이고 $x_1 = x_0 + h$라고 가정합시다. $x_0$와 $x_1$에 의해 결정되는 첫 번째 라그랑주 다항식 $P_{0,1}(x)$를 구성합니다:
단계 1: 보간 함수 구성
$f(x) = P_{0,1}(x) + \frac{(x - x_0)(x - x_1)}{2!} f''(\xi(x))$
단계 2: 미분
양변을 미분하고 $x = x_0$에서 값을 평가하면 기본 관계식이 도출됩니다:
$$f'(x_0) = \frac{f(x_0 + h) - f(x_0)}{h} - \frac{h}{2} f''(\xi)$$
3. 오차 항과 수렴성
$-\frac{h}{2} f''(\xi)$ 항은 우리의 절단 오차입니다. 이 공식은 정확도가 $O(h)$임을 보여줍니다. 즉, 단계 크기 $h$를 반으로 줄이면 오차도 거의 반으로 줄어듭니다. 그러나 주의해야 합니다: 작은 $h$는 절단 오차를 줄이지만, 결국 분자에서 거의 동일한 숫자들의 뺄셈으로 인해 반올림 오차 반올림 오차를 증가시키게 됩니다.
🎯 핵심 원리: 유한 차분
수치 미분은 극한을 유한한 현으로 대체합니다. 우리의 근사 값의 질은 단계 크기 $h$와 함수의 매끄러움(이차 도함수)에 엄격히 의존합니다.
$f'(x_0) \approx \frac{f(x_0+h) - f(x_0)}{h}$, 오차 범위: $\frac{h}{2} \max|f''(\xi)|$